Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
461	Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity ∗ Weiming Liu1 and Sanjiang Li1,2† and Jochen Renz3 1 State Key Laboratory of Intelligent Technology and Systems, TNLIST, Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-06-11 03:18:18 Science Constraint programming Deduction Computational topology Region connection calculus Spatial–temporal reasoning Entailment Dimensional analysis Logic Cognitive science Knowledge representation
462	Reconstructing Boolean Models of Signaling Roded Sharan1 and Richard M. Karp2 1 Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel, [removed] Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-01-25 07:47:48 Boolean algebra Algebraic logic Computational complexity theory Mathematical logic Logic Boolean function Artificial neuron Boolean circuit Circuit Mathematics Theoretical computer science Applied mathematics
463	Dear Colleague, ‘Constraints in Bioinformatics’, a new thematic series from Algorithms for Molecular Biology is now accepting submissions. The technology of Constraint and Constraint Logic Programming has shown to be Add to Reading List Source URL: media.biomedcentral.com Language: English - Date: 2014-06-30 12:33:13 Science Constraint programming Bioengineering Computational biology Mathematical and theoretical biology Constraint logic programming Protein structure prediction Biology Bioinformatics Applied mathematics
464	10786 • The Journal of Neuroscience, November 16, 2005 • 25(46):10786 –[removed]Behavioral/Systems/Cognitive Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons Add to Reading List Source URL: neurotheory.columbia.edu Language: English - Date: 2010-05-26 13:59:44 Nervous system Neural networks Neurology Computational neuroscience Neuron Neural oscillation Chemical synapse Cellular neuroscience Action potential Biology Neurophysiology Neuroscience
465	http://ifpsc.org February 5, 2006 DRAFT Please provide feedback online at: http://fluidproperties.org Add to Reading List Source URL: fluidproperties.org Language: English - Date: 2012-03-22 10:24:34 Operations research Simulation Computational chemistry Scientific modelling Logic simulation Force field Computer simulation Business simulation Chemistry Science Molecular modelling
466	A Computational Approach to Metalanguage and the Use-Mention Distinction Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-04-30 19:25:29 Proof theory Punctuation Language technology Quotation mark Quotation Logic Language Science Linguistics Metalanguage Metalogic
467	GAMSWorld and the Growing Demand for Reproducible Computational Experiments Steve Dirkse Add to Reading List Source URL: www.gams.com Language: English - Date: 2009-02-17 12:24:37 Computation Algorithm Economic model Scientific modelling Logic Epistemology Theory of computation Theoretical computer science Computability theory Mathematics
468	3 Algorithms and Data Structures Program file for this chapter: algs Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-12-25 20:52:46 Operations research Computational complexity theory Algorithm Mathematical logic Algorithms Dynamic programming Sorting algorithm Analysis of algorithms Algorithm characterizations Applied mathematics Theoretical computer science Mathematics
469	In my beginning is my end: reflections on 45 years of NLP and corpora. Yorick Wilks Oxford Internet Institute and Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2008-08-13 12:05:20 Natural language processing Semantics Meaning Philosophy of language Computational linguistics Yorick Wilks Rudolf Carnap International Conference on Language Resources and Evaluation Philosophy Linguistics Logic Science
470	MicroWorlds, Computational Thinking, and 21st Century Learning LCSI White Paper Author: Susan Einhorn Add to Reading List Source URL: www.microworlds.com Language: English - Date: 2013-03-07 03:45:07 Mathematical logic Programming idioms Theoretical computer science MicroWorlds JR MicroWorlds Logo Computability theory Recursion Algorithm Computer programming Software engineering Computing

UPDATE